Robert Harper - PDFSEARCH.IO - Document Search Engine

Robert Harper
Results: 56

#	Item
11	The Definition of Standard ML The Definition of Standard ML (Revised) Robin Milner, Mads Tofte, Robert Harper and David MacQueen Add to Reading List Source URL: sml-family.org - Date: 2016-04-04 09:33:37
12	A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-06-27 15:19:02 Software engineering Programming language theory Computer programming Type theory Procedural programming languages Functional languages Logic in computer science Programming language semantics Standard ML Denotational semantics Monad Type system
13	Modular Type Classes Derek Dreyer Robert Harper Toyota Technological Institute at Chicago Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-10-27 09:33:35
14	Wine and Philosophy Tim Crane From Harper’s Magazine, May 2003 What could be more dull than the idea of a symposium? The word conjures up associations with dusty dons, tedious academic papers on deservedly obscure fact Add to Reading List Source URL: www.timcrane.com Language: English - Date: 2014-11-15 07:35:17 Consciousness Wine Wine tasting Qualia Robert M. Parker Jr. Taste Ancient Greece and wine Aroma of wine Thomas Nagel Mind Philosophy of mind Gustation
15	2-Dimensional Directed Type Theory Daniel R. Licata∗ Robert Harper∗ Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu - Date: 2011-05-26 14:50:31
16	Robin Milner – Verification, Languages, and Concurrency Andrew D. Gordon, Microsoft Research Robert Harper, Carnegie Mellon University John Harrison, Intel Corporation Alan Jeffrey, Bell Labs Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-10-18 12:40:33
17	Robin Milner 1934–2010 Verification, Languages, and Concurrency Andrew D. Gordon Robert Harper Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-10-18 12:43:43
18	Canonicity for 2-Dimensional Type Theory Daniel R. Licata∗ Robert Harper ∗ Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-06-25 09:14:22
19	A Retrieval M e c h a n i s m for Semi-Structured P h o t o g r a p h i c Collections Joemon M. Jose and David J. Harper The Robert Gordon University Aberdeen, UK, AB25 1HG. {j .jose,d.harper } @scms.rgu.ac.uk Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2008-01-05 06:56:15 Science Quantum mechanics Probability theory Dempster–Shafer theory Information retrieval
20	Manifest Security Karl Crary Robert Harper Frank Pfenning Carnegie Mellon University Benjamin C. Pierce Stephanie Weirich Stephan Zdancewic University of Pennsylvania January 2007 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-02-05 13:01:30 Proof theory Non-classical logic Philosophical logic Logical syntax Computer security Modal logic Mathematical proof Linear logic Formal verification Logic Mathematics Logic in computer science

UPDATE